A Reading Companion to the ESSLLI Course "Logics for Agency and Multi-Agent Systems"
نویسندگان
چکیده
This paper is a reading companion to our introductory ESSLLI course on "Logics for Agency and Multi-Agent Systems". Proofs are omitted. This reader's aim is mostly to structure the material that will be presented at the course, and to point the attendees of the course to the relevant literature.
منابع مشابه
Roles, Counts-as and Deontic and Action Logics
• J. Carmo and O. Pacheco, “Deontic and action logics for organized collective agency, modeled through institutionalized agents and roles”, Fundamenta Informaticae, Special Issue on Deontic Logic in Computer Science, Vol 48, Numbers 2,3, pp. 129-163, 2001 • O. Pacheco and J. Carmo, “A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction”, Journa...
متن کاملSpecial issue on logics for intelligent agents and multi-agent systems
This issue reports on the latest developments in formal approaches to intelligent agents and multi-agent systems based on modal logics and their applications on various aspects of agency. Intelligent agents, be it on their own or as part of a multi-agent system, operate in a dynamic and complex environment and hence they need to be able to cope with uncertainty and reason with often incomplete ...
متن کاملSpecification and Verification of Multi-Agent Systems
When writing can change your life, when writing can enrich you by offering much money, why don't you try it? Are you still very confused of where getting the ideas? Do you still have no idea with what you are going to write? Now, you will need reading. A good writer is a good reader at once. You can define how you write depending on what books to read. This specification and verification of mul...
متن کاملAdaptive Neural Network Method for Consensus Tracking of High-Order Mimo Nonlinear Multi-Agent Systems
This paper is concerned with the consensus tracking problem of high order MIMO nonlinear multi-agent systems. The agents must follow a leader node in presence of unknown dynamics and uncertain external disturbances. The communication network topology of agents is assumed to be a fixed undirected graph. A distributed adaptive control method is proposed to solve the consensus problem utilizing re...
متن کاملNonmonotonic logics—recent advances
The ESSLLI course material has been compiled by Mirek Truszczynski. Unless otherwise mentioned, the copyright lies with the individual authors of the material. Mirek Truszczynski declares that he has obtained all necessary permissions for the distribution of this material. ESSLLI 2008 and its organizers take no legal responsibility for the contents of this booklet.
متن کامل